Building verified hardware and verified stacks in HOL
- Författare
- Andreas Lööw
- (Andreas Lööw., Licentiatavhandling Göteborg : Chalmers tekniska högskola, 2019)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology and Gothenburgs University | 2019 | Sverige, Göteborg | iv, 75 sidor. ill. |